< 1 >
决策问题要求用一个算法来决定一个给定的语句是否可以用逻辑规则从公理中证明。
这个问题是德国数学家大卫-希尔伯特在 1928 年提出的。
Deutsch English Español Français Nederlands Русский
